nLab Wouter Swierstra

Redirected from "super-geometry".
Selected writings

Selected writings

Introducing observational type theory:

category: people

Created on January 3, 2024 at 00:29:58. See the history of this page for a list of all contributions to it.